DEF=imp
EXT=imp
TESTDIR=.
KOMPILE_BACKEND=llvm
KOMPILE_FLAGS=--gen-glr-bison-parser --enable-search
KRUN_FLAGS=--search

include ../../../include/kframework/ktest.mak
